formal semantic model中文是什么意思

• 形式语义模型

• "formal"中文翻译    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事 ...
• "semantic"中文翻译    adj. 语义(学)的。
• "model"中文翻译    n. 1.模型，雏型；原型；设计图；模范；(画家、雕刻家 ...
• "semantic model" 中文翻译 :    语义模型
• "formal semantic definition" 中文翻译 :    形式语义定义
• "formal semantic description" 中文翻译 :    形式语义描述
• "formal semantic language" 中文翻译 :    形式语义语言
• "fsl formal semantic language" 中文翻译 :    形式语义语言
• "formal model" 中文翻译 :    形式模型
• "abstract system semantic model" 中文翻译 :    抽象系统语义模型
• "dual semantic data model" 中文翻译 :    二元语义数据模型
• "latent semantic indexing model" 中文翻译 :    潜语义标引模型
• "procedural semantic model" 中文翻译 :    过程语义模型
• "semantic data model" 中文翻译 :    语义数据模型
• "semantic memory model" 中文翻译 :    语义存储模型; 语义记忆模型 语意记忆模型
• "semantic model definition language" 中文翻译 :    语义模型定义语言
• "semantic model of program execution" 中文翻译 :    程序执行的语义模型
• "semantic network model" 中文翻译 :    语义网络模型
• "semantic procedural model" 中文翻译 :    语义程序模式
• "semantic prototype model" 中文翻译 :    语义原形模式
• "semantic relation data model" 中文翻译 :    语义关系数据模型
• "abstract formal model" 中文翻译 :    抽象形式模型
• "formal spatio-temporal knowledge model" 中文翻译 :    以时空为基底之正规知识模式
• "semantic" 中文翻译 :    adj. 语义(学)的。
• "formal" 中文翻译 :    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事的。 3.形态的，外形的；形式上的；拘泥形式的，刻板的。 4.布置整齐的，有条理的。 5.正规的，合乎规格的。 6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。 a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal logic 形式逻辑。 a formal resemblance 外形上的类似。 formal obedience 表面服从。 n. 1.〔美国〕须穿礼服的社交集会。 2.〔口语〕夜礼服。 go formal 〔口语〕穿夜礼服。 n. -ness

• His research concerns the development of formal semantic models of java , and extensions of java , both at the source and bytecode levels
  他的研究涉及java的正规语义模型和java语言的扩展，都是在源代码和字节码的级别上的。
• His research concerns the development of formal semantic models and extensions of the java language , both at the source and bytecode levels
  他的研究涉及正规语义模型和java语言的扩展，都是在源代码和字节代码的级别上的。